Modelling and Specifying Scenarios and Agent Behaviour
نویسندگان
چکیده
∗ Work reported in this paper is partly supported by China National High Technology Research Programme (863 Programme) under grant 2002AA116070. Abstract Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further investigate how diagrammatic models of multi-agent systems can be used to derive formal specifications in SLABS. The modelling language is further developed by introducing behaviour diagrams and scenario diagrams for modelling agents’ behaviour in various scenarios of their environment. It supports derivation of the specifications of agents’ behaviour through scenario analysis. The language and its usage are illustrated by an example of the evolutionary multi-agent ecosystem Amalthaea developed at MIT Media Lab.
منابع مشابه
From Formal Modelling to Agent Simulation Execution and Testing
This work presents an approach to agent-based simulation development using formal modelling, i.e. stream X-Machines, that combines the power of executable specifications and test case generation. In that respect, a domain specific language is presented for effortlessly encoding agent behaviour as a stream X-Machine in a well known simulation platform. The main benefits in using the specific for...
متن کاملModelling Global Behaviour in Object- Oriented Analysis: Scenarios, Use Cases and Interaction Diagrams
Most software development methods define notations for modelling global behaviour. Many of these notations use interaction diagrams to model possible sequences of interactions between a system and its environment, or between the objects of the system. Other methods use structured textual descriptions or regular expressions for specifying use cases or use scenarios. Although many methods use sim...
متن کاملEvacuation Simulation through Formal Emotional Agent based Modelling
Evacuation Simulation is recognised as an important tool for assessing design choices for urban areas. Although a number of approaches have been introduced, it is widely acceptable that such simulation scenarios demand modelling of emotional aspects of evacuees, and how these affect their behaviour. The present work, proposes that formal agent modelling based on eX-machines can rigorously defin...
متن کاملطراحی مدل عاملمحور و کاربرد آن در باستانشناسی
The aim of this paper is to consider what constitutes agent-based modelling (ABM) and how this can relate to archaeological reasoning. The development and construction of ABM models is an essential prerequisite for most archaeological reasoning. Both directly and indirectly, archaeologists are making extensive use of ideas and methods in applications that derive from archaeological, anthropolog...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Environment
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to ...
متن کامل